Software for fault diagnosis using knowledge models in petri nets

نویسندگان

  • Adrian Arboleda
  • Germán Zapata
  • José Velásquez
  • Luis Marin
چکیده

Fault diagnosis systems in electric sector companies require precision and flexibility properties in case of events. Currently, there are systems aimed at improving the diagnosis process through various methods and techniques, reducing response time to disturbances. However, few proposals unify graphical models of knowledge with process signals. These signals can be provided by devices such as programmable logic controllers (PLCs). This article proposes novel model-driven software based on Petri nets and integrated with process signals for fault diagnosis in power plants. A case study demonstrates the flexibility and adaptability of the software when new concepts change in the knowledge models, without requiring reengineering procedures to be performed on the software.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Soccer Goalkeeper Task Modeling and Analysis by Petri Nets

In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...

متن کامل

Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)

A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...

متن کامل

Hierarchical CPN model-based diagnosis using HAZOP knowledge

The multi-scale modelling of process systems using hierarchical coloured Petri nets for diagnostics is investigated in this report. A case study is used to systematically show the modelling approach using an illustrative example of a tank reactor with cooling jacket. This form of representation shows how CPNs can provide a hierarchically structured framework for advanced fault diagnosis. Resear...

متن کامل

Availability evaluation of Software architecture of object oriented Style using coloured Petri nets

Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...

متن کامل

Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments

Existing work has developed techniques for automated generation of function tests from high-level Petri nets. Yet there is no empirical evidence that demonstrates the costeffectiveness of this approach. This paper presents a series of controlled experiments to evaluate the fault detection capabilities of various strategies for test generation from high-level Petri nets. We built test models and...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • RASI

دوره 9  شماره 

صفحات  -

تاریخ انتشار 2012